A progress - sensitive ow - sensitive inlined information - ow control monitor
نویسندگان
چکیده
We present a novel progress-sensitive, ow-sensitive hybrid informationow control monitor for an imperative interactive language. Progress-sensitive informationow control is a strong information security guarantee which ensures that a program's progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: we track information ow according to the source of information and not to an a priori given variable security level. We illustrate our approach on an imperative interactive language. Our hybrid monitor is inlined: source programs are translated, by a type-based analysis, into a target language that supports dynamic security levels. A key bene t of this is that the resulting monitored program is amenable to standard optimization techniques such as partial evaluation.
منابع مشابه
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)
We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an imperative interactive language. Progress-sensitive information-flow control is a strong information security guarantee which ensures that a program’s progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: our mon...
متن کاملA Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor
We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an imperative interactive language. Progress-sensitive information-flow control is a strong information security guarantee which ensures that a program’s progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: we trac...
متن کاملFlow - directed
A ow-directed inlining strategy uses information derived from control-ow analysis to specialize and inline procedures for functional and object-oriented languages. Since it uses control-ow analysis to identify candidate call sites, ow-directed inlining can inline procedures whose relationships to their call sites are not apparent. For instance, procedures deened in other modules, passed as argu...
متن کاملInformation Flow Control using Versions in Object - Oriented
One of the main features of information ow control is to ensure the enforcement of privacy, secrecy, and conndentiality. However, most information ow models that have been proposed are too restrictive, overprotected, and innexible. This paper presents an approach to control ow information in object-oriented systems using versions, thus allowing considerable exibility without compromising system...
متن کاملImpacts of Dehydroacetic Acid and Ozonated Water on Aspergillus flavus Colonization and Aflatoxin B1 Accumulation in Iranian Pistachio
Background: Aflatoxins (AFs) are the most prevalent carcinogenic mycotoxins, produced mainly by Aspergillus flavus and A. parasiticus. The general purpose of the present study was to use Dehydroacetic Acid (DHA) and Ozonated Water (OW) to control A. flavus growth and accumulation of Aflatoxin B1 (AFB1) in Iranian pistachios. Methods: Three treatment pistachio groups were separately immersed ...
متن کامل